Adding Formal Requirements Modeling to SysML
نویسنده
چکیده
This paper seeks to raise awareness on the SCR extensions derived from industry use, and discusses how an integration of Software Cost Reduction (SCR) modeling concepts address current limitations in the System Modeling Language (SysML) standard. The paper describes an integration of a formal requirement modeling approach based the SCR method with the SysML structure mechanisms providing an alternative means for formalizing requirement behavior using a table-based approach that is supported by tools that extend the original SCR method.
منابع مشابه
From SysML/KAOS Domain Models to B System Specifications
In this paper, we use a combination of the SysML/KAOS requirements engineering method, an extension of SysML, with concepts of the KAOS goal model, and of the B System formal method. Translation rules from a SysML/KAOS goal model to a B System specification have been defined. They allow to obtain a skeleton of the B System specification. To complete it, we have defined a language to express the...
متن کاملModeling Continuous System Dynamics in Sysml
In this paper, we present a formal approach to modeling continuous system dynamics in SysML using differential algebraic equations (DAE’s). To support model-based design, the Object Management Group has recently developed the Systems Modeling Language (OMG SysMLTM). The language is well-suited for modeling many different aspects of largescale, multidisciplinary engineering projects. It allows s...
متن کاملMéthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML
The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This disse...
متن کاملA Formal Universal Systems Semantics for SysML
OMG SysML1 is a general purpose systems modeling language adopted by OMG in May, 2006. Used for specifying, analyzing, designing, and verifying complex systems; it provides graphical representations with a semantic foundation for modeling system requirements, behavior, structure, and integration with a broad range of engineering analysis. SysML represents a subset of UML2 with extensions needed...
متن کاملThe SysML/KAOS Domain Modeling Approach
A means of building safe critical systems consists of formally modeling the requirements formulated by stakeholders and ensuring their consistency with respect to application domain properties. This paper proposes a metamodel for an ontology modeling formalism based on OWL and PLIB. This modeling formalism is part of a method for modeling the domain of systems whose requirements are captured th...
متن کامل